Statische Code-Analyse als effiziente Qualitätssicherungsmaßnahme im Umfeld eingebetteter Systeme
نویسندگان
چکیده
In diesem Papier werden Erfahrungen aus gemeinsamen Projekten des Kunden und der SQS bei der Durchführung proaktiver Qualitätssicherungsmaßnahmen im Umfeld von eingebetteten Telekommunikationssystemen erläutert. Dabei werden insbesondere die Vorteile von frühzeitig ergreifbaren Qualitätssicherungsmaßnahmen mit Hilfe statischer Code-Analysewerkzeuge sowie deren ungefähre Quantifizierung erkennbar.
منابع مشابه
Der Einsatz quantitativer Sicherheitsanalysen für den risikobasierten Test eingebetteter Systeme
Um die oft hohen Sicherheitsanforderungen eingebetteter Systeme (im Sinne von Safety) zu gewährleisten, werden bei ihrer Entwicklung sowohl dynamische Testverfahren als auch statische Sicherheitsanalysen eingesetzt. Für den Test bieten sich insbesondere risikobasierte Ansätze an, da sie sicherstellen, dass solche Teile bzw. Anforderungen des Testobjektes früher und intensiver getestet werden, d...
متن کاملMethoden formalisierter Kundenanforderungsanalyse
Der Übergang von der Kundensystemspezifikation (als Bestandteil des Lastenhefts) zur Systemspezifikation (als Bestandteil des Pflichtenhefts) beinhaltet das Auffinden und Beseitigen von Unklarheiten sowie den Abgleich mit der meist schon vorliegenden Basisspezifikation. Der Beitrag legt dar, wie hierzu ein einfaches Metamodell und eine Analyse der in den Anforderungen verwendeten Begriffe im Um...
متن کاملDagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme
In der modellbasierten Entwicklung eingebetteter Software, insbesondere im Automobilbereich, wird Matlab/Simulink verbreitet eingesetzt. Im Rahmen der Modellerstellung, -wartung und -pflege häufig benötigte Änderungen an den Modellen, wie die Restrukturierung der Modellstruktur und Generierung von Modellkonstrukten, werden überlicherweise manuell, mit den vorhandenen Modellierungsmitteln des Si...
متن کاملModellierung adaptiver eingebetteter Systeme
Ein elementares Problem bei der Entwicklung adaptiver Systeme besteht darin, dass das Adaptionsverhalten eines Systems durch sehr komplexe Zusammenhänge bestimmt ist. Eine zur Beherrschung dieser Zusammenhänge notwendige formale Modellierung des Adaptionsverhaltens ist allerdings nicht verfügbar. Deshalb wurden in einer Kooperation zwischen der TU Kaiserslautern und der Robert Bosch GmbH Techni...
متن کاملSoftware-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung
Angesichts der zunehmenden Verwendung von Software bei der Realisierung sicherheitskritischer und hochverfügbarer Systeme wächst die Bedeutung der Nachweisbarkeit nicht-funktionaler Eigenschaften wie der Funktionssicherheit und der Zuverlässigkeit – sowohl bei der Entwicklung wie auch bei der Zertifizierung derartiger Systeme. Dem daraus resultierenden Anspruch an Nachvollziehbarkeit, an Rigoro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Softwaretechnik-Trends
دوره 27 شماره
صفحات -
تاریخ انتشار 2007